第 4 章 连续时间的复频域分析4.1 拉普拉斯变换4.1.1 拉普拉斯变换的定义4.1.2 收敛域与信号的分解4.1.3 常用的拉普拉斯变换4.1.4 拉氏变换与傅氏变换4.2 拉普拉斯变换的性质4.2.1 线性性质4.2.2 尺度性质4.2.3 位移性质4.2.4 微分性质4.2.5 积分性质4.2.6 特值定理4.2.7 卷积定理4.2.8 对称性质4.2.9 级数展开4.2.10 极限性质4.3 拉普拉斯逆变换4.3.1 复数域部分分式展开4.3.2 实数域部分分式展开4.3.3 常用拉普拉斯逆变换4.4 拉氏变换的应用4.4.1 埃尔米特多项式4.4.2 误差函数4.4.3 贝塔函数4.4.4 贝塞尔函数4.4.5 积分方程4.4.6 等时降线4.4.7 稳态解4.4.8 差分方程4.5 线性系统的复频域分析4.6 s 域的系统函数4.6.1 系统函数的定义4.6.2 零状态响应求解4.6.3 系统框图的设计4.7 零极点分布的时域影响4.7.1 零极点分布图4.7.2 零极点对冲激响应的影响4.7.3 零极点与系统响应的关系4.8 零极点分布的频域影响4.8.1 系统的频率响应4.8.2 典型的系统函数4.9 系统稳定性4.9.1 系统稳定的时域条件4.9.2 系统稳定的 s 域条件4.9.3 劳斯–赫尔维茨判据第 5 章 离散时间的时域分析5.1 离散时间信号及其运算5.1.1 离散时间信号的定义5.1.2 离散时间信号的运算5.1.3 常用的离散时间信号5.2 离散时间系统数学模型5.2.1 函数与序列方程分类5.2.2 函数与序列方程求解5.2.3 离散系统的运算单元5.3 常系数线性差分方程5.3.1 差分方程的齐次解5.3.2 差分方程的完全解5.3.3 零输入与零状态响应5.4 离散时间系统的单位样值响应5.4.1 单位样值响应的概念5.4.2 单位样值响应的求解5.4.3 系统因果性与稳定性5.5 离散时间系统的卷积和5.5.1 卷积和的性质5.5.2 卷积和的求解5.5.3 卷积和的应用第 6 章 离散时间系统的 z 域分析6.1 z 变换的概念6.1.1 z 变换的定义6.1.2 z 变换收敛域6.1.3 常用的 z 变换6.2 z 变换的性质6.2.1 线性性质6.2.2 位移性质6.2.3 尺度性质6.2.4 微分性质6.2.5 卷积定理6.2.6 特值定理6.3 z 逆变换6.3.1 围线积分法6.3.2 幂级数展开法6.3.3 部分分式展开法6.6 系统函数6.6.1 单位样值响应与系统函数6.6.2 零极点分布与系统的特性6.6.3 离散系统稳定性与因果性6.7 频率响应特性6.7.1 DLTIS 的频率响应特性6.7.2 DLTIS 的正弦稳态响应
双边 Fourier 变换
正逆变换的定义
与其它变换的关系
双边 Laplace 变换
记复频率
正逆变换的定义
与其它变换的关系
单边 Laplace 变换
正逆变换的定义
与其它变换的关系
Mellin 变换
正逆变换的定义
与其它变换的关系
与欧拉积分的关系
单边拉普拉斯变换
收敛域
收敛坐标
收敛区间
双边拉普拉斯变换
收敛区间
拉普拉斯变换可看出将信号如下分解:
见附录:常用信号的拉普拉斯变换.
记
若均为一重极点,则
备注
以下默认
复频域性质简称为频域性质(主要是四个字对齐着好看).
单双边线性性质 单边 Laplace 变换与双边 Laplace 变换均具有线性性质,即对于
双边尺度性质 若
时间尺度:
频域尺度:
单边尺度性质 若
时间尺度:
频域尺度:
双边位移性质 若
时移性质:
频移性质:
单边位移性质 若
时移性质:
频移性质:
推论 若因果信号
其中
双边微分性质 若
时域微分:
频域微分:
双边微分性质推论 若
时域微分:
频域微分:
单边微分性质 若连续函数
时域微分:
频域微分:
备注
第一点要求导数分段连续.
微分性质另一表述 若
备注 这是不考虑广义函数的情况,若考虑广义函数,则
单边微分性质推论 若连续函数
例子 Laguerre 多项式
双边积分性质 若
时域积分:
频域积分:
单边积分性质 若
时域积分:
频域积分:
单边积分性质推论 若
时域积分:
频域积分:
双边特值定理 设
初值定理:
终值定理:
单边特值定理 设
初值定理:若
终值定理:若
备注 使用特值定理时需要将
单边卷积定理 若
时域卷积:
频域卷积:
没用的性质 若
定理 若
备注 由此可得
定理 若
备注 由此可检验一些函数是否可能成为象函数.
若共轭复根的次数
一般方法:
待定系数法
特值代入法
根值代入法(海维赛德展开公式)
多次分解法
技巧:
相同次数共轭根的系数共轭
极限法:
省去低次项的长除法.
求完拉普拉斯逆变换后,用欧拉公式将复指数化为三角函数.
若共轭复根的次数
一般方法
待定系数法
特值代入法
海维赛德展开公式
另一种复根代入法
多次分解法
在求解拉普拉斯逆变换的时候,可以用频域微分性质或卷积定理.
多重实根与一重共轭复根
象函数 | 原函数 | 说明 |
---|---|---|
多重共轭复根
象函数 | 原函数 | 说明 |
---|---|---|
没什么用的函数
象函数 | 原函数 | 说明 |
---|---|---|
这部分是 4.4.2 的拓展.
定义
物理学家的埃尔米特多项式:
统计学家的埃尔米特多项式:
关系
性质
对称性:
正交性:
权函数:
克罗内克函数:
完备性:
在所有满足
内积:
埃尔米特方程:
递推公式:
定义 (误差函数)
性质
基本性质
微分性质
不定积分:
泰勒展开:
拉氏变换:
证明
基本性质
由高斯积分或伽马函数即得.
由定义经换元即得.
由前两个性质即得.
微分性质:由定义即得.
分部积分即得:
展开积分定义式中的被积函数即得.
由时域卷积定理,
证毕.
一方面,由定义,
另一方面,由卷积定理,
于是得到
定义 下述微分方程的解称为
其显性表达式为
特殊的,记
性质
定义 修正贝塞尔函数定义为
性质
定义 已知函数
特例求解 当
两边取拉普拉斯变换,则有
对于等时降线问题,可列出积分方程
其中
对两边取拉氏变换,得
另一方面,
叠加原理
海维赛德扩展定理
函数的差分方程
如
两边取拉氏变换,注意时移性质的条件,不满足条件时可利用定义.
常用结论:
序列的差分方程
如
构造函数
常用结论:
微分与差分方程
如
利用时域微分性质与时移性质.
难以求拉普拉斯逆变换时,可利用幂级数展开.
思路:略.
常用公式
s 域模型
电阻
电感
复频域感抗
附加电压源
附加电流源
电容
复频域容抗
附加电流源
附加电压源
KCL、KVL.
定义
对于零状态系统,
取拉普拉斯变换,
系统函数定义为
性质
已知冲激响应
时域卷积:
频域求解:
复域求解:
已知微分方程
经典时域:特征方程法求通解,待定系数法求特解.
微分算子:先求
傅氏变换:先求
拉氏变换:先求
已知电路模型
时域求解:列出微分方程,化为上述问题;三要素法.
频域求解:(先求
复域求解:(先求
已知系统框图
串联系统:
并联系统:
反馈联结:
已知零极点分布:
备注
以上本质上只有一个问题:求解微分方程.
如果已知冲激响应,我们可以直接由卷积得到微分方程的解.
但是卷积常常难以求解,因此我们通过傅里叶变换或拉氏变换间接求解.
对于多个系统组成的微分方程组,可以抽象出系统函数与三种基本互联方式,从而简化求解过程.
将系统函数表示为
系统函数
以
实数极点
一阶:
负实轴:衰减指数信号,稳定系统.
原点处:单位阶跃信号,临界稳定系统.
正实轴:增长正弦信号,不稳定系统.
高阶:
负实轴:起伏衰减信号,极值点为
原点处:响应为幂函数,不稳定系统.
正实轴:不稳定系统.
共轭极点
一阶:
左半平面:衰减正弦振荡信号,稳定系统.
位于虚轴:等幅正弦振荡信号,临界稳定系统.
右半平面:增长正弦振荡信号,不稳定系统.
高阶:
左半平面:稳定系统.
位于虚轴:不稳定系统.
右半平面:不稳定系统.
频率响应
特性曲线
幅频特性:
相频特性:
全通系统
不改变幅频特性,只改变相频特性.
极点与零点关于虚轴对称,从而
例如:
应用:相位均衡器、移相器.
最小相移系统
极点全部位于左半平面,零点位于左半平面或虚轴上.
非最小相移系统可以表示为最小相移系统和全通系统的乘积 (级联).
定义 系统若对任意有界输入的零状态响应有界,则称为 稳定系统,或称为有界输入有界输出(bounded input, bounded output, BIBO)稳定系统.
定理 线性时不变连续因果系统稳定的充要条件是冲激响应绝对可积,即
具体见 4.7.2 节,这里整理如下:对于系统函数
若极点全部位于左半平面,则系统稳定.
若一阶极点位于虚轴,则系统临界稳定.
若高阶极点位于虚轴,或极点位于右半平面,则系统不稳定.
定义 多项式的根若均位于左半平面,则称为 赫尔维茨多项式.
定理 1 多项式为赫尔维茨多项式的必要条件为各项系数大于零且无缺项,即对于
有
定理 2 若多项式的劳斯阵列第一列元素均严格大于零,则该多项式为赫尔维茨多项式.
备注
若劳斯阵列的第一列出现零元素,则可以用无穷小量
离散时间信号即离散的序列:
若为有限长序列,则可直接使用列举法,如
为书写方便起见,
对于无限长序列,可使用通项公式表示,如
基本算术运算
相加:
点乘:
尺度变换
压缩:
扩展:
差分与求和
向前差分:
向后差分:
求和运算:
卷积和:
移位
右移(延迟):
左移(超前):
反褶
垂直反褶:
水平反褶:
单位阶跃序列:
单位样值序列:
又称为单位脉冲序列、单位冲激序列.
相互关系
序列性质
单边指数序列:
单边斜变序列:
单位矩形序列
注意区别于
正弦序列
当且仅当
复指数序列
当且仅当
函数方程
无差分
代数方程
微分方程
积分方程:以求解
含差分
函数差分方程:例如
延迟微分方程:例如
延迟积分方程:包含差分、微分与积分的方程,不局限于上述形式.
序列差分方程(举例,非完全分类)
常系数差分方程:形如
一阶前向差分方程:
在本章中,我们着重研究序列的差分方程.
经典时域法:见 5.3 常系数线性差分方程.
零输入响应 + 零状态响应.
对于函数方程,可利用拉普拉斯变换或傅里叶变换求解.
其中积分方程根据形式可利用卷积定理.
序列差分方程可通过
变换域方法:见第六章.
特殊函数化简法:利用
计算机求解:符号求解,或数值迭代.
例 1 对于一阶延时微分方程
当
当
备注 Lambert 函数手写笔记.
例 2 利用 mathematics 求解二阶延迟微分方程:
x1(* 目前 NDSolve 只支持常量延迟 *)
2sol = NDSolve[
3 {x''[t] + x[t - 1] == 0, x[t /; t <= 0] == t^2},
4 x, {t, -1, 5}
5]
6Plot[
7 Evaluate[{x[t], x'[t], x''[t]} /. First[sol]],
8 {t, -1, 5}, PlotRange -> All
9]
10
11(* 从大到小 *)
12nsol = NDSolve[
13 {x''[t] + x[t + 1] == 0, x[t /; t >= 0] == t^2},
14 x, {t, -5, 1}
15]
16Plot[
17 Evaluate[{x[t], x'[t], x''[t]} /. First[nsol]],
18 {t, -5, 1}, PlotRange -> All
19]
模拟离散时间系统:
加法器:
乘法器:
标量乘法器:
延时器:
本章主要讨论线性时不变离散系统.
特征根 | 齐次解 |
---|---|
共轭复根 | |
在共轭复根的基础上,与 |
完全解不一定是所有的解.
完全解
特解的几种形式:
激励 | 特解 | 说明 |
---|---|---|
全响应
零输入响应
仅由初始状态
求解思路
解齐次差分方程,得到齐次通解
代入初始状态
零状态响应
仅由输入信号
思路 1
解非齐次差分方程,得到非齐次通解
思路 1.1:用迭代法求得初始值
思路 1.2:直接代入初始状态
思路 2:利用卷积和,见 5.5.3 卷积和的应用.
单位样值序列
对于 LTI 离散系统,单位样值响应仅与系统的结构有关.
对于非时变离散系统,单位样值响应还与产生激励的时间有关.
线性时不变因果系统:
对于
由因果性,
当
注意:求上述齐次方程时,须注意特值应满足
对于
同第一种情况,算出右式为
由时不变性质,得到
由系统的线性,得到单位样值响应
由因果性的定义与 4.9.1 系统稳定的时域条件,
LTI 离散时间系统具有因果性
离散时间系统具有稳定性
定义 序列
其中运算符
性质 1 基本代数性质
交换律
结合律
分配律
性质 2 伸缩与代换
数乘
平移
尺度
性质 3 差分与求和
向前差分
向后产分
求和运算
性质 4 等效变换
备注
注意尺度性质与卷积积分不同.
加法
除了利用上述卷积和的性质,一般的,可以考虑以下几种方法:
直接用定义求解:
分解为样值序列:
代数法 / 图解法:反褶、平移、相乘、取和.(无需画出图像;有穷或者无穷都可以)
对位相乘求和法:本质上即计算多项式相乘.(适用于有穷序列)
离散
快速傅里叶变换 (FFT):
Winograd 算法:参考乐正垂星的视频.
备注 手算建议:有穷序列使用对位相乘求和法,无穷序列使用代数法 / 图解法.
例子 由代数法或图解法,有
求零状态响应:
概率质量函数:
大数的乘法:计算乘法本质上就是在做卷积,对于大数乘法,也可以使用快速傅里叶变换.
z 变换的引入
令
单边 z 变换
右边 z 变换:
左边 z 变换:
双边 z 变换
收敛域(region of convergence, ROC)
无限长右边序列(因果序列)
无限长左边序列(反因果序列)
无限长双边序列
有限长序列
备注
序列 | z 变换 | 收敛域 | 参数说明 |
---|---|---|---|
备注
可如下递推算出
此外也可以利用幂级数逐项求导与积分得到
也可以直接写为
更多序列的 z 变换参考笔记附录.
线性性质 若
备注
该性质对于双边、左边、右边 z 变换都是成立的.
叠加后的收敛域一般为原收敛域的重叠部分;当零极点相消时,收敛域也可能扩大.
双边位移性质 若
双边性质推论 若因果序列
单边位移性质 若
单边性质推论 若
推论 对于因果序列
例子
尺度性质 (序列指数加权) 若
备注 该性质对于双边、左边、右边 z 变换均成立.
推论
微分性质 (序列线性加权) 若
备注 该性质对于双边、左边、右边 z 变换均成立.
时域卷积 若
备注 该性质对于双边、左边、右边 z 变换均成立.
频域卷积 若
其中
特值定理 设因果序列
初值定理:
终值定理:
备注
此外还有
终值定理连同上述等式为实分析中的结果,由 Hardy 与 Littlewood 给出.
终值定理的另一种形式,可用于证明马尔科夫链笔记中的定理 3.3.5.
利用长除法,若为因果序列,则将分式表示为
一般先展开
也可以直接展开
对于零状态系统
系统函数的求解
离散因果系统的稳定性:
充要条件 1:
充要条件 2: